Search results for " Morphism"

showing 9 items of 9 documents

A complete variety with infinitely many maximal quasi-projective open subsets. (English summary)

2010

E' una recensione dell'articolo

Algebraic geometry Varieties and morphisms (dell'articolo referato)
researchProduct

Burrows-Wheeler Transform on Purely Morphic Words

2022

The study of the compressibility of repetitive sequences is an issue that is attracting great interest. We consider purely morphic words, which are highly repetitive sequences generated by iterating a morphism φ that admits a fixed point (denoted by φ^∞(a) ) starting from a given character a belonging to the finite alphabet A , i.e. φ^∞(a)=lim_{i→∞}φ^i(a) . Such morphisms are called prolongable on a . Here we focus on the compressibility via the Burrows-Wheeler Transform (BWT) of infinite families of finite sequences generated by morphisms. In particular, denoted by r(w) the number of equal-letter runs of a word w , we provide new upper bounds on r(bwt(φ^i(a))) , i.e. the number of equal-le…

BWT Morphism Equal-letter runsSettore INF/01 - Informatica
researchProduct

Some remarks on the category SET(L), part III

2004

This paper considers the category SET(L) of L-subsets of sets with a fixed basis L and is a continuation of our previous investigation of this category. Here we study its general properties (e.g., we derive that the category is a topological construct) as well as some of its special objects and morphisms.

Discrete mathematicsDiagram (category theory)General MathematicsConcrete categoryCategory of groupsL-set; category of L-subsets of sets; topological construct; topos; special morphism; special objectCombinatoricsClosed categoryMathematics::Category TheoryCategory of topological spacesCategory of setsEnriched category2-categoryMathematicsGlasnik matematički
researchProduct

Circular sturmian words and Hopcroft’s algorithm

2009

AbstractIn order to analyze some extremal cases of Hopcroft’s algorithm, we investigate the relationships between the combinatorial properties of a circular sturmian word (x) and the run of the algorithm on the cyclic automaton Ax associated to (x). The combinatorial properties of words taken into account make use of sturmian morphisms and give rise to the notion of reduction tree of a circular sturmian word. We prove that the shape of this tree uniquely characterizes the word itself. The properties of the run of Hopcroft’s algorithm are expressed in terms of the derivation tree of the automaton, which is a tree that represents the refinement process that, in the execution of Hopcroft’s alg…

Discrete mathematicsReduction (recursion theory)Fibonacci numberGeneral Computer ScienceHopcroft'algorithmSturmian wordSturmian wordSturmian morphismsTheoretical Computer ScienceCombinatoricsTree (descriptive set theory)TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESComputer Science::Discrete MathematicsDeterministic automatonHopcroft’s minimization algorithmCircular sturmian wordsTree automatonDeterministic finite state automataTime complexityAlgorithmComputer Science::Formal Languages and Automata TheoryWord (group theory)Computer Science(all)MathematicsTheoretical Computer Science
researchProduct

Periodicity, morphisms, and matrices

2003

In 1965, Fine and Wilf proved the following theorem: if (fn)n≥0 and (gn)n≥0 are periodic sequences of real numbers, of period lengths h and k, respectively, and fn = gn for 0 ≤ n > h + k - gcd(h,k), then fn = gn for all n ≥ 0. Furthermore, the constant h + k - gcd(h,k) is best possible. In this paper, we consider some variations on this theorem. In particular, we study the case where fn ≤ gn, instead of fn = gn. We also obtain generalizations to more than two periods.We apply our methods to a previously unsolved conjecture on iterated morphisms, the decreasing length conjecture: if h : Σ* → Σ* is a morphism with |Σ|= n, and w is a word with |w| < |h(w)| < |h2(w)| < ... < |hk(w)|, then k ≤ n.

PeriodicityConjectureGeneral Computer Science010102 general mathematicsSturmian wordSturmian wordIterated morphism0102 computer and information sciences01 natural sciencesTheoretical Computer ScienceCombinatoricsMorphism010201 computation theory & mathematicsMatrix algebraIterated function0101 mathematicsWord (group theory)Real numberMathematicsComputer Science(all)Theoretical Computer Science
researchProduct

Functorial Test Modules

2016

In this article we introduce a slight modification of the definition of test modules which is an additive functor $\tau$ on the category of coherent Cartier modules. We show that in many situations this modification agrees with the usual definition of test modules. Furthermore, we show that for a smooth morphism $f \colon X \to Y$ of $F$-finite schemes one has a natural isomorphism $f^! \circ \tau \cong \tau \circ f^!$. If $f$ is quasi-finite and of finite type we construct a natural transformation $\tau \circ f_* \to f_* \circ \tau$.

Pure mathematicsSmooth morphismAlgebra and Number TheoryFunctor13A35 (Primary) 14F10 14B05 (Secondary)010102 general mathematicsType (model theory)Mathematics - Commutative AlgebraCommutative Algebra (math.AC)01 natural sciencesMathematics - Algebraic GeometryTransformation (function)0103 physical sciencesNatural transformationFOS: Mathematics010307 mathematical physics0101 mathematicsAlgebraic Geometry (math.AG)Mathematics
researchProduct

On some aspects of Borel-Moore homology in motivic homotopy : weight and Quillen’s G-theory

2016

The theme of this thesis is different aspects of Borel-Moore theory in the world of motives. Classically, over the field of complex numbers, Borel-Moore homology, also called “homology with compact support”, has some properties quite different from singular homology. In this thesis we study some generalizations and applications of this theory in triangulated categories of motives.The thesis is composed of two parts. In the first part we define Borel-Moore motivic homology in the triangulated categories of mixed motives defined by Cisinski and Déglise and study its various functorial properties, especially a functoriality similar to the refined Gysin morphism defined by Fulton. These results…

Quillen’s K-theory and G-theoryStructure de poidsMixed motives[MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG]Motivic homotopy theoryHomologie de Borel-MooreThéorie de l’homotopie motiviqueMotifs de ChowChow motives[MATH.MATH-KT] Mathematics [math]/K-Theory and Homology [math.KT]G-théorieFormalisme des six foncteursWeight structureSix functors formalismMotifs mixtesRefined Gysin morphismBorel-Moore homologyMorphisme de Gysin raffinéK-théorie de Quillen
researchProduct

Test module filtrations for unit $F$-modules

2015

We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit $F$-modules and prove that this filtration coincides with the notion of $V$-filtration introduced by Stadnik in the cases where he proved existence of his filtration. We also show that these filtrations do not coincide in general. Moreover, we show that for a smooth morphism $f: X \to Y$ test modules are preserved under $f^!$. We also give examples to show that this is not the case if $f$ is finite flat and tamely ramified along a smooth divisor.

Smooth morphismPure mathematicsAlgebra and Number Theory010102 general mathematicsDivisor (algebraic geometry)Commutative Algebra (math.AC)Mathematics - Commutative Algebra01 natural sciencesMathematics - Algebraic GeometryMathematics::Algebraic GeometryMathematics::K-Theory and Homology0103 physical sciencesPrimary 13A35 Secondary 14B05 14F10Filtration (mathematics)FOS: Mathematics010307 mathematical physics0101 mathematicsUnit (ring theory)Algebraic Geometry (math.AG)Mathematics
researchProduct

A criterion for extending morphisms from open subsets of smooth fibrations of algebraic varieties

2021

Abstract Given a smooth morphism Y → S and a proper morphism P → S of algebraic varieties we give a sufficient condition for extending an S-morphism U → P , where U is an open subset of Y, to an S-morphism Y → P , analogous to Zariski's main theorem.

Smooth morphismPure mathematicsAlgebra and Number TheoryAlgebraic varietySmooth fibrationZariski’s main theoremFiberwise birational morphismProper morphismMathematics::Algebraic GeometryMorphismExtending a morphismMathematics::Category TheorySettore MAT/03 - GeometriaMathematicsJournal of Pure and Applied Algebra
researchProduct